A characterization of interval-valued residuated lattices
نویسندگان
چکیده
منابع مشابه
A characterization of interval-valued residuated lattices
As is well-known, residuated lattices (RLs) on the unit interval correspond to leftcontinuous t-norms. Thus far, a similar characterization has not been found for RLs on the set of intervals of [0,1], or more generally, of a bounded lattice L. In this paper, we show that the open problem can be solved if it is restricted, making only a few simple and intuitive assumptions, to the class of inter...
متن کاملA Fuzzy Formal Logic for Interval-valued Residuated Lattices
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, like Monoidal T-norm based Logic, Basic Logic, Gödel Logic, Lukasiewicz Logic etc. However, in general, fuzzy set theory is not only concerned with vagueness, but also with uncertainty. A possible solution is to use intervals in...
متن کاملTriangle Algebras: Towards an Axiomatization of Interval-Valued Residuated Lattices
In this paper, we present triangle algebras: residuated lattices equipped with two modal, or approximation, operators and with a third angular point u, different from 0 (false) and 1 (true), intuitively denoting ignorance about a formula’s truth value. We prove that these constructs, which bear a close relationship to several other algebraic structures including rough approximation spaces, prov...
متن کاملTriangle algebras: A formal logic approach to interval-valued residuated lattices
In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0 and 1. We show that these algebras serve as an equational representation of intervalvalued residuated lattices (IVRLs). Furthermore, we present Triangle Logic (TL), a system of many-valued logic capturing the tautologies of IVR...
متن کاملTopological Residuated Lattices
In this paper, we study the separtion axioms $T_0,T_1,T_2$ and $T_{5/2}$ on topological and semitopological residuated lattices and we show that they are equivalent on topological residuated lattices. Then we prove that for every infinite cardinal number $alpha$, there exists at least one nontrivial Hausdorff topological residuated lattice of cardinality $alpha$. In the follows, we obtain some ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2008
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2008.04.006